Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
181	Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:19 Ordinal numbers Set theory Mathematical logic Recursion Wellfoundedness Constructible universe Well-founded relation Transfinite induction Transitive set Burali-Forti paradox Equality Implementation of mathematics in set theory
182	SVoNt – Version Control of OWL Ontologies on the Concept Level Markus Luczak-R¨osch, G¨okhan Coskun, Adrian Paschke, Mario Rothe, Robert Tolksdorf {luczak,coskun,paschke,mrothe,tolk}@inf.fu-berlin.de Abstract: Like i Add to Reading List Source URL: subs.emis.de Language: English - Date: 2012-04-16 06:06:44 Ontology Information science Semantic Web Technical communication Knowledge engineering Apache Subversion Web Ontology Language Description logic Upper ontology Draft:Outline of ontologies
183	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Predicate logic Mathematical logic Prolog Logic programming Partial evaluation Predicate Resolution Mereology Programming language Eval
184	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking
185	Economic Dynamical Systems with Multiplicative Noise John Stachurski Department of Economics, The University of Melbourne, VIC 3010, Australia Abstract Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:52 Symbol Markov chain Lyapunov function Mixing Linear temporal logic Central limit theorem
186	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
187	Feferman on Godel and Free Will Abstract Feferman surveys the work of Godel and Turing, and, although not himself holding a mechanist view of the mind as a whole, raises objections to the anti-mechanist argument put fo Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2010-11-17 13:56:05 Guggenheim Fellows Mathematical logic Cognitive science Materialism Mechanism Naturalism George Boolos Logic Modal logic Mathematical proof Solomon Feferman Contradiction
188	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
189	Using Powerdomains to Generalize Relational Databases Peter Buneman Achim Jung Atsushi Ohoriy Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Logic in computer science Relational model Mathematical logic Data modeling Relational algebra Domain theory Finitary relation Denotational semantics Semantics Power domains Relational database Functional dependency
190	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis

UPDATE